[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 146 0 681 494 0 4392 1046

N.S.

1 1.00 0.78 0.00 3.62 2.63 0.00 23.36 5.56

time (sec)

N/A 0.093 0.086 0.046 0.310 0.452 0.000 3.956 4.548

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 124 0 483 367 0 2986 588

N.S.

1 1.00 0.79 0.00 3.10 2.35 0.00 19.14 3.77

time (sec)

N/A 0.070 0.077 0.049 0.306 0.409 0.000 5.699 4.399

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 103 0 312 253 0 1836 303

N.S.

1 1.00 0.83 0.00 2.52 2.04 0.00 14.81 2.44

time (sec)

N/A 0.056 0.044 0.046 0.282 0.390 0.000 4.589 4.284

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 73 0 158 138 352 864 134

N.S.

1 1.00 0.85 0.00 1.84 1.60 4.09 10.05 1.56

time (sec)

N/A 0.035 0.029 0.075 0.281 0.473 162.558 5.758 4.073

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 101 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.145 0.039 0.123 0.000 0.000 0.000 0.000 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 79 115 0 138 94 0 85 112

N.S.

1 1.18 1.72 0.00 2.06 1.40 0.00 1.27 1.67

time (sec)

N/A 0.034 0.046 0.048 0.295 0.425 0.000 3.819 5.655

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 114 0 260 243 0 220 222

N.S.

1 1.00 0.75 0.00 1.72 1.61 0.00 1.46 1.47

time (sec)

N/A 0.087 0.110 0.049 0.308 0.394 0.000 4.703 4.522

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 145 0 433 446 0 375 349

N.S.

1 1.00 0.79 0.00 2.37 2.44 0.00 2.05 1.91

time (sec)

N/A 0.107 0.123 0.053 0.321 0.362 0.000 5.566 4.845

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 162 0 652 685 0 533 603

N.S.

1 1.00 0.75 0.00 3.03 3.19 0.00 2.48 2.80

time (sec)

N/A 0.129 0.156 0.054 0.394 0.382 0.000 4.477 5.121

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

396 396 535 0 2764 0 0 0 -1

N.S.

1 1.00 1.35 0.00 6.98 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.369 0.348 0.098 0.836 0.000 0.000 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

335 335 411 0 2039 0 0 0 -1

N.S.

1 1.00 1.23 0.00 6.09 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.283 0.241 0.083 0.894 0.000 0.000 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

274 274 303 0 1412 0 0 0 -1

N.S.

1 1.00 1.11 0.00 5.15 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.215 0.165 0.076 0.816 0.000 0.000 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 215 0 786 0 0 0 -1

N.S.

1 1.00 1.10 0.00 4.01 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.127 0.136 0.044 0.886 0.000 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 537 0 0 0 0 0 -1

N.S.

1 1.00 3.89 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.116 0.197 0.048 0.000 0.000 0.000 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 330 0 433 212 0 163 238

N.S.

1 1.00 2.43 0.00 3.18 1.56 0.00 1.20 1.75

time (sec)

N/A 0.067 0.383 0.053 0.308 0.407 0.000 5.033 5.590

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

288 288 463 0 864 528 0 458 506

N.S.

1 1.00 1.61 0.00 3.00 1.83 0.00 1.59 1.76

time (sec)

N/A 0.153 0.339 0.047 0.344 0.439 0.000 7.780 6.171

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

448 448 609 0 1435 946 0 810 1038

N.S.

1 1.00 1.36 0.00 3.20 2.11 0.00 1.81 2.32

time (sec)

N/A 0.229 0.470 0.051 0.482 0.415 0.000 5.631 7.693

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

615 615 776 0 2139 1438 0 1166 1769

N.S.

1 1.00 1.26 0.00 3.48 2.34 0.00 1.90 2.88

time (sec)

N/A 0.298 0.678 0.048 0.509 0.456 0.000 4.868 9.221

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

38 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.023 0.472 0.040 0.000 0.000 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

36 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.013 0.184 0.056 0.000 0.000 0.000 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

38 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.026 0.097 0.123 0.000 0.000 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 94 0 0 56 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.60 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.093 0.046 0.000 0.343 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 172 0 0 137 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.70 0.00 0.00 -0.01

time (sec)

N/A 0.185 0.178 0.049 0.000 0.401 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

38 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.023 0.632 0.040 0.000 0.000 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

36 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.013 0.604 0.013 0.000 0.000 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

38 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.024 0.370 0.047 0.000 0.000 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 146 0 0 241 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 1.58 0.00 0.00 -0.01

time (sec)

N/A 0.103 0.126 0.049 0.000 0.341 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

314 314 254 0 0 639 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 2.04 0.00 0.00 -0.00

time (sec)

N/A 0.242 0.375 0.049 0.000 0.367 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 146 0 681 497 0 1862 1045

N.S.

1 1.00 0.78 0.00 3.62 2.64 0.00 9.90 5.56

time (sec)

N/A 0.084 0.072 0.047 0.310 0.425 0.000 4.865 4.484

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 124 0 483 370 0 1390 588

N.S.

1 1.00 0.79 0.00 3.10 2.37 0.00 8.91 3.77

time (sec)

N/A 0.067 0.067 0.045 0.361 0.394 0.000 7.027 4.367

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 101 0 312 254 0 980 303

N.S.

1 1.00 0.81 0.00 2.52 2.05 0.00 7.90 2.44

time (sec)

N/A 0.050 0.043 0.043 0.312 0.371 0.000 4.032 4.307

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 74 0 158 140 382 572 134

N.S.

1 1.00 0.86 0.00 1.84 1.63 4.44 6.65 1.56

time (sec)

N/A 0.037 0.029 0.077 0.291 0.421 163.301 5.605 4.098

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 101 0 0 0 0 558 -1

N.S.

1 1.00 1.26 0.00 0.00 0.00 0.00 6.98 -0.01

time (sec)

N/A 0.147 0.030 0.129 0.000 0.000 0.000 58.772 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 114 0 137 96 0 89 113

N.S.

1 1.00 1.12 0.00 1.34 0.94 0.00 0.87 1.11

time (sec)

N/A 0.031 0.044 0.050 0.300 0.423 0.000 2.691 4.017

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 115 0 260 244 0 203 221

N.S.

1 1.00 0.76 0.00 1.72 1.62 0.00 1.34 1.46

time (sec)

N/A 0.081 0.105 0.049 0.293 0.355 0.000 3.918 4.551

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 146 0 434 447 0 399 349

N.S.

1 1.00 0.80 0.00 2.37 2.44 0.00 2.18 1.91

time (sec)

N/A 0.101 0.120 0.051 0.307 0.353 0.000 3.907 4.723

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 162 0 653 687 0 676 603

N.S.

1 1.00 0.75 0.00 3.04 3.20 0.00 3.14 2.80

time (sec)

N/A 0.130 0.160 0.048 0.319 0.376 0.000 4.259 4.985

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

544 544 533 0 2693 0 0 0 -1

N.S.

1 1.00 0.98 0.00 4.95 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.479 0.337 0.089 0.817 0.000 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

454 454 409 0 1991 0 0 0 -1

N.S.

1 1.00 0.90 0.00 4.39 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.344 0.231 0.087 0.810 0.000 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

361 361 303 0 1382 0 0 0 -1

N.S.

1 1.00 0.84 0.00 3.83 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.255 0.160 0.078 0.750 0.000 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 216 0 788 0 0 0 -1

N.S.

1 1.00 0.98 0.00 3.58 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.160 0.138 0.046 0.729 0.000 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 537 0 0 0 0 0 -1

N.S.

1 1.00 3.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.188 0.050 0.000 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 331 0 431 215 0 164 237

N.S.

1 1.00 2.03 0.00 2.64 1.32 0.00 1.01 1.45

time (sec)

N/A 0.053 0.285 0.048 0.302 0.354 0.000 4.581 5.649

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

317 317 464 0 864 530 0 387 505

N.S.

1 1.00 1.46 0.00 2.73 1.67 0.00 1.22 1.59

time (sec)

N/A 0.113 0.306 0.049 0.333 0.344 0.000 5.498 5.467

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

429 429 609 0 1438 948 0 746 1040

N.S.

1 1.00 1.42 0.00 3.35 2.21 0.00 1.74 2.42

time (sec)

N/A 0.180 0.446 0.049 0.406 0.353 0.000 3.455 7.162

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

536 536 776 0 2141 1442 0 1225 1765

N.S.

1 1.00 1.45 0.00 3.99 2.69 0.00 2.29 3.29

time (sec)

N/A 0.204 0.615 0.051 0.479 0.407 0.000 6.633 9.081

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

38 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.024 0.276 0.044 0.000 0.000 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

36 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.014 0.182 0.059 0.000 0.000 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

38 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.027 0.114 0.128 0.000 0.000 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 96 0 0 56 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.58 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.087 0.045 0.000 0.344 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 199 174 0 0 135 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.68 0.00 0.00 -0.01

time (sec)

N/A 0.152 0.172 0.049 0.000 0.354 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

38 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.024 0.632 0.038 0.000 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

36 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.013 0.628 0.013 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

38 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.026 0.377 0.049 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 180 0 0 254 0 140 -1

N.S.

1 1.00 1.17 0.00 0.00 1.65 0.00 0.91 -0.01

time (sec)

N/A 0.081 0.120 0.047 0.000 0.337 0.000 4.877 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

256 256 288 0 0 652 0 312 -1

N.S.

1 1.00 1.12 0.00 0.00 2.55 0.00 1.22 -0.00

time (sec)

N/A 0.187 0.325 0.051 0.000 0.375 0.000 2.941 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

364 364 285 0 636 664 0 11806 1433

N.S.

1 1.00 0.78 0.00 1.75 1.82 0.00 32.43 3.94

time (sec)

N/A 0.349 0.436 0.054 0.302 0.784 0.000 7.133 4.680

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 219 0 447 465 0 6660 766

N.S.

1 1.00 0.93 0.00 1.90 1.98 0.00 28.34 3.26

time (sec)

N/A 0.212 0.200 0.047 0.292 0.463 0.000 5.349 4.742

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 146 0 285 294 0 3346 371

N.S.

1 1.00 0.93 0.00 1.82 1.87 0.00 21.31 2.36

time (sec)

N/A 0.109 0.105 0.044 0.280 0.439 0.000 5.533 4.179

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 120 0 152 156 493 1189 153

N.S.

1 1.00 1.04 0.00 1.32 1.36 4.29 10.34 1.33

time (sec)

N/A 0.065 0.089 0.074 0.283 0.364 168.917 4.305 4.257

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 56 122 53 58 150 237 52

N.S.

1 1.00 1.00 2.18 0.95 1.04 2.68 4.23 0.93

time (sec)

N/A 0.022 0.009 0.055 0.277 0.368 3.341 5.521 4.005

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 122 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.093 0.044 0.122 0.000 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 109 0 143 271 0 455 140

N.S.

1 1.00 1.20 0.00 1.57 2.98 0.00 5.00 1.54

time (sec)

N/A 0.063 0.101 0.050 0.300 3.395 0.000 4.583 4.640

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 173 0 356 1094 0 2952 430

N.S.

1 1.00 0.91 0.00 1.87 5.76 0.00 15.54 2.26

time (sec)

N/A 0.149 0.371 0.050 0.310 47.836 0.000 4.901 6.199

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F(-1) F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 264 0 853 0 0 9570 1182

N.S.

1 1.00 0.93 0.00 3.01 0.00 0.00 33.82 4.18

time (sec)

N/A 0.278 0.518 0.047 0.357 0.000 0.000 3.235 9.225

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F(-1) F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

388 388 359 0 1762 0 0 21485 2569

N.S.

1 1.00 0.93 0.00 4.54 0.00 0.00 55.37 6.62

time (sec)

N/A 0.442 0.694 0.049 0.466 0.000 0.000 6.197 13.771

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

923 923 757 0 2534 0 0 0 -1

N.S.

1 1.00 0.82 0.00 2.75 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.167 0.689 0.082 0.834 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

565 565 506 0 1591 0 0 0 -1

N.S.

1 1.00 0.90 0.00 2.82 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.750 0.377 0.077 0.752 0.000 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

290 290 362 0 868 0 0 0 -1

N.S.

1 1.00 1.25 0.00 2.99 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.379 0.215 0.042 0.751 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 226 0 0 0 0 0 -1

N.S.

1 1.00 1.67 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.167 0.125 0.057 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 1441 0 0 0 0 0 -1

N.S.

1 1.00 4.85 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.362 0.260 0.051 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 418 0 0 0 0 0 -1

N.S.

1 1.00 2.03 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.124 0.340 0.055 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

389 389 615 0 0 0 0 0 -1

N.S.

1 1.00 1.58 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.551 1.039 0.048 0.000 0.000 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

747 747 918 0 0 0 0 0 -1

N.S.

1 1.00 1.23 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.140 2.114 0.049 0.000 0.000 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1208 1208 1329 0 0 0 0 0 -1

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.771 5.151 0.048 0.000 0.000 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

35 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.021 0.277 0.039 0.000 0.000 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

33 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.012 0.187 0.059 0.000 0.000 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.004 0.013 0.039 0.000 0.000 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

35 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.023 0.375 0.129 0.000 0.000 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

35 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.021 0.566 0.052 0.000 0.000 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

35 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.023 6.405 0.046 0.000 0.000 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

35 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.020 0.602 0.039 0.000 0.000 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

33 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.011 0.464 0.011 0.000 0.000 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.004 0.411 0.052 0.000 0.000 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

35 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.021 0.953 0.046 0.000 0.000 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

35 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.019 1.841 0.040 0.000 0.000 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

35 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.020 20.877 0.049 0.000 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 142 9745 633 430 969 5428 1009

N.S.

1 1.00 0.79 54.14 3.52 2.39 5.38 30.16 5.61

time (sec)

N/A 0.085 0.074 0.340 0.298 0.442 4.801 4.178 4.780

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 120 5350 447 317 706 3795 566

N.S.

1 1.00 0.81 35.91 3.00 2.13 4.74 25.47 3.80

time (sec)

N/A 0.066 0.069 0.280 0.295 0.392 2.443 3.116 4.645

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 99 2512 286 221 491 2450 290

N.S.

1 1.00 0.84 21.29 2.42 1.87 4.16 20.76 2.46

time (sec)

N/A 0.051 0.040 0.271 0.298 0.368 1.572 4.058 4.480

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 69 901 148 124 253 1319 126

N.S.

1 1.00 0.85 11.12 1.83 1.53 3.12 16.28 1.56

time (sec)

N/A 0.033 0.025 0.246 0.272 0.349 1.034 2.717 4.303

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 95 345 0 0 0 0 -1

N.S.

1 1.00 1.19 4.31 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.142 0.034 0.600 0.000 0.000 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 75 105 173 134 82 233 110 104

N.S.

1 1.19 1.67 2.75 2.13 1.30 3.70 1.75 1.65

time (sec)

N/A 0.031 0.044 0.254 0.264 0.353 0.723 2.843 5.020

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 110 335 257 216 422 237 209

N.S.

1 1.00 0.76 2.33 1.78 1.50 2.93 1.65 1.45

time (sec)

N/A 0.084 0.092 0.308 0.325 0.357 1.279 2.541 5.039

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 141 503 430 405 656 382 339

N.S.

1 1.00 0.81 2.87 2.46 2.31 3.75 2.18 1.94

time (sec)

N/A 0.100 0.109 0.325 0.308 0.391 2.006 2.565 5.584

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 158 675 649 628 944 528 577

N.S.

1 1.00 0.77 3.28 3.15 3.05 4.58 2.56 2.80

time (sec)

N/A 0.124 0.143 0.366 0.316 0.367 2.951 3.132 6.166

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

365 365 511 0 2108 0 0 0 -1

N.S.

1 1.00 1.40 0.00 5.78 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.347 0.327 0.306 0.398 0.000 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

309 309 391 0 1539 0 0 0 -1

N.S.

1 1.00 1.27 0.00 4.98 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.262 0.224 0.244 0.385 0.000 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 287 0 1045 0 0 0 -1

N.S.

1 1.00 1.13 0.00 4.13 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.199 0.149 0.172 0.394 0.000 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 203 0 571 0 0 0 -1

N.S.

1 1.00 1.13 0.00 3.17 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.123 0.121 0.095 0.361 0.000 0.000 0.000 0.000

[next] [front] [up]